mawk, SunOS 4.1.3 nawk, and Ultrix/MKS nawk all barf on /[/]/, so change

it to /[\/]/.  This should work on all Posix-compliant awks.
It's slightly wrong with traditional (Unix version 7) awk, since it
also allows \, but that's a minor problem compared to awk syntax errors.

diff --git a/lib-src/rcs2log b/lib-src/rcs2log
index c61ca42d7ea5d36748f5b59247462e08339156be..65c7a5c6d371087d143ddc31145e9a7de4fc1cd0 100755 (executable)
--- a/lib-src/rcs2log
+++ b/lib-src/rcs2log
@@ -12,7 +12,7 @@
 
 # Author: Paul Eggert <eggert@twinsun.com>
 
-# $Id: rcs2log,v 1.9 1993/01/15 05:33:29 eggert Exp $
+# $Id: rcs2log,v 1.10 1993/03/16 22:49:00 eggert Exp eggert $
 
 # Copyright 1992, 1993 Free Software Foundation, Inc.
 
@@ -223,7 +223,7 @@ awk <$rlogout '
        /^Working file:/ { filename = $3 }
        /^date: /, /^(-----------*|===========*)$/ {
                if ($0 ~ /^branches: /) { next }
-               if ($0 ~ /^date: [0-9][ /0-9:]*;/) {
+               if ($0 ~ /^date: [0-9][ \/0-9:]*;/) {
                        time = substr($3, 1, length($3)-1)
                        author = substr($5, 1, length($5)-1)
                        printf "%s %s %s %s %c", filename, $2, time, author, 13